Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1796) FINITARY APPROXIMATIONS OF GROUPS AND THEIR APPLICATIONS Andreas Thom

Source URL: eta.impa.br

• Group theory
• Geometry
• Algebra
• Geometric group theory
• Topological groups
• Infinite group theory
• Profinite group
• Residually finite group
• Kazhdan's property
• Amenable group
• Sofic group
• Solvable group

Episode 132: Chitra Ragavan On Making Crypto Accessible Kelley Weaver: Welcome to Crypto Token Talk, a crypto 101 podcast exploring how blockchain applications like bitcoin, Ethereum, and other crypto assets could chan

Source URL: cryptotokentalk.io

• Decentralization
• Cryptocurrencies
• Computing
• Economy
• Cryptography
• Chitra
• Blockchain
• 9
• Fall
• Bitcoin

Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule Department of Computer Science The University of Texas at Austin {moore,marijn}@cs.utexas.edu

Source URL: www.cs.man.ac.uk

• Software engineering
• Computer programming
• Theoretical computer science
• Automated theorem proving
• Lisp
• ACL2
• Formal methods
• Logic in computer science
• Robert S. Boyer

Distributed Databases on Top of SPNs: A case study with Cockroach DB Yilong Geng and Balaji Prabhakar Stanford University Applications of Huygens -- a software clock

Source URL: platformlab.stanford.edu

• Computing
• Data management
• Data
• Transaction processing
• Databases
• Concurrency control
• NewSQL
• Serializability
• Spanner
• Database transaction
• Schedule
• Cockroach Labs

A Unifying Contrast Maximization Framework for Event Cameras, with Applications to Motion, Depth and Optical Flow Estimation

Source URL: rpg.ifi.uzh.ch

• Homography
• Computer vision
• Motion estimation
• Optical flow
• Vision
• Artificial intelligence
• Mathematics

Malleable Proof Systems and Applications Melissa Chase (MSR Redmond) Markulf Kohlweiss (MSR Cambridge) Anna Lysyanskaya (Brown University) Sarah Meiklejohn (UC San Diego)

Source URL: smeiklej.com

• Cryptography
• S99

Extracted from: Programming Kotlin Creating Elegant, Expressive, and Performant JVM and Android Applications

Source URL: media.pragprog.com

• Computing
• Software engineering
• Object-oriented programming languages
• Programming languages
• High-level programming languages
• Cross-platform software
• Scripting languages
• Kotlin
• Coroutine
• Functional programming
• Safe navigation operator
• Java virtual machine

Semantic Interoperability Community of Practice (SICoP) Semantic Web Applications for National Security Conference Hyatt Regency Crystal City, Regency Ballrooms E and F Brand Niemann (US EPA) and Rick Morris (U.S. Army),

Source URL: www.daml.org

B-476 Lagrangian-Conic Relaxations, Part II: Applications to Polyno- mial Optimization Problems Naohiko Arima? , Sunyoung Kim† , Masakazu Kojima‡ , and Kim-Chuan Toh] January 2014 Abstract. We present the moment con

Source URL: www.optimization-online.org

Comparative Study of Li-ion Battery Electrochemical Modeling Methods for Real Time Applications Chen Wanga*, Muhammad Rashida, P.A. Ormenoa, Hin Kwan Wongb, A. McGordona and W.D. Widanagea a Warwick Manufacturing Group (

Source URL: www.imlb2018.org